A diagram consisting of circles to represent states and

directed line segments to represent transitions between the

states. One or more actions (outputs) may be associated with

each transition. The diagram represents a finite statemachine.